一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

浅谈海南影视动画产业发展中的政府作为

影视动画产业是当今社会的朝阳产业,是传统经济发展和延伸的一种新方式,政府对影视动画产业十分重视.而影视文化产业具有浓厚文化色彩和广阔的自由发展空间,有利于影视动画的进一步发展与建设.影视动画产业发展对象可以是影视基地,也可以是影视剧本,产业发展对象丰富,所以此产业的发展前景非常明朗,并且还具有高度的研究价值.     

政府公共服务和社会治理中物联网技术的应用

随着时代的进步和社会经济的发展,我国开始致力于服务型政府的创建工作,通过物联网技术的应用,可以促使政府公共服务能力和社会管理能力得到有效提升.它可以对目前城市管理系统资源进行整合,然后将政务领域应用开展于物联网统一的公共平台上,具有一系列的优势.本文简要分析了政府公共服务和社会治理中物联网技术的应用,希望可以提供一些有价值的参考意见.     

云技术条件下电子政务安全信息系统的建设研究

政府部门建立以云技术为条件的电子政务安全信息系统,这是电子政务建设的未来发展方向.本文首先介绍了云技术、系统建设目标和任务,然后对系统框架进行了概述,最后详细介绍了云技术条件下电子政务安全信息系统的建设实践.     

从廉政文化的视角研究思想政治教育理论教学

在当代世界风云变幻、中国改革开放和现代化建设处于攻坚克难的条件下,高校的文化建设遇到了前所未有的冲击和挑战。只有坚持社会主义办学方向,把廉政文化同思想政治教育理论教学结合起来,营造优良的校园文化氛围,塑造校园精神,才能促进学生整体素质积极向上发展。     

基础项目融资中政府担保的定价

在基础项目融资中,政府提供的担保有效地促进了基础项目融资的发展.政府提供担保会给政府造成或有债务,需要采用定量方法研究担保,从而为政府的担保提供量化依据.论文在分析担保期权特性基础上,采用期权理论建立了担保的定价模型,并研究了模型在基础项目融资收益担保中的应用.     

行政立法听证与公众参与

本文立足于公众参与行政立法听证的条件、组织、参与人的确定以及程序规则等的论证,以期充分反映各方利益诉求的公众参与行政立法听证作用能够得以更有效地发挥。本文认为,听证程序的准司法化模式,对于实现对行政立法的有效监督,无疑是程序意义上的重要补充。     

服务型政府建设中的制度创新

网上市长信箱在政府与公民之间搭起了全新的、便利的桥梁,这是对传统科层制的突破和创新,将大大推进武汉市服务型政府的建设。以武汉市市长信箱为个案对网上市长信箱进行深入剖析,分析了该制度产生的背景、特点和作用,并提出了相应的改进措施。     

布坎南的“政府失败说”及其对当代中国政府改革的启示

公共选择理论是20世纪60年代产生于美国的以布坎南为代表的一个学派,它是一种用经济学的视角来考察政治现象和政府行政问题的流派,旨在讲市场制度中的人类行为与政治制度中的政府行为纳入同一分析轨道。而政府失败说是公共选择理论的研究重点,布坎南的通过对政府失败的原因分析,得出了如何规避政府失效的措施,对世界各国都有重要的借鉴意义。尤其是我国,作为社会主义国家,如何对国家和市场定位具有重要借鉴意义。     

基于拓展SCP框架下的我国电信行业政府规制研究

近年来,我国电信行业快速发展,对拉动国民经济快速增长和维护社会安全做出巨大的贡献。同时,我国电信行业长久以来的自然垄断属性导致电信市场各类有违公平竞争的价格、互联互通等矛盾日益尖锐,政府规制迫在眉睫。首先阐述政府规制对我国电信行业的必要性和适用性,其次从SCP框架入手,对其进行了适当的拓展,分析了我国电信行业政府规制问题。最后就今后如何对我国电信行业进行有效政府规制提出了相应的对策。